1. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
2. Cognitive reasoning
پدیدآورنده : Oleg Anshakov, Tamás Gergely
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognitive science,Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
A77
2010eb
3. Cognitive reasoning
پدیدآورنده : / Oleg M. Anshakov, Tamas Gergely
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science
رده :
QA9
.
A57
2010
4. Cognitive reasoning: a formal approach
پدیدآورنده : / Oleg M. Anshakov, Tamas Gergely
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science
رده :
511
.
3
A618C
2010
5. Cognitive reasoning : a formal approach
پدیدآورنده : Tamas Gergely, Oleg M. Anshakov
کتابخانه: (هرمزکان)
موضوع : Logic, Symbolic and mathematical,Reasoning,Cognitive science
6. Cognitive reasoning : a formal approach
پدیدآورنده : Anshakov, Oleg M.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Reasoning,، Cognitive science
رده :
QA
9
.
A57C6
7. Commonsense Reasoning
پدیدآورنده : \ Erik T. Mueller, IBM Watson Group and IBM Research.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
رده :
E-Book
,
8. Commonsense reasoning /
پدیدآورنده : Erik T. Mueller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
9. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
10. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
11. Formal methods in artificial intelligence
پدیدآورنده : Allan Ramsay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Artificial intelligence - Methodology,Logic, Symbolic and mathematical,Reasoning
رده :
Q
,
335
,.
R35
,
1988
12. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan, 3591-
کتابخانه: (طهران)
موضوع : Methodology ، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
13. Formal methods in artificial intelligence
پدیدآورنده : Ramsay, Allan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Methodology ، Attificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
Q
335
.
R35
1988
14. Justification logic :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Inquiry (Theory of knowledge) ; Science ; Theory reduction. ; Reasoning. ;
15. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
16. Logic:a brief course
پدیدآورنده : Mundici, Dniele
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Logic.,، Reasoning-Logic.,، Symbolic and mathematical.,، Thought and thinking.
رده :
BC
50
.
M82
2011
17. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
18. Mathematical Reasoning :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.
رده :
QA9
.
M347
19. Mechanizing mathematical reasoning
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving. ; Logic, Symbolic and mathematical. ; Reasoning ; Automation. ; Reasoning ; Technique. ;
20. Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday
پدیدآورنده : Dieter Hutter, Werner Stephan )eds.(
کتابخانه: (طهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,Automation ، Reasoning,Technique ، Reasoning
رده :
QA
76
.
L28
Vol
.
2605
